MIT Computer Science and Artificial Intelligence Laboratory - PDFSEARCH.IO - Document Search Engine

MIT Computer Science and Artificial Intelligence Laboratory
Results: 422

#	Item
271	Computer Science and Artificial Intelligence Laboratory Technical Report MIT-CSAIL-TR[removed]MIT-LCS-TR-994 July 21, 2005 Add to Reading List Source URL: www.pmg.csail.mit.edu Language: English - Date: 2008-08-05 15:15:23 Fault-tolerant computer systems Data synchronization Transaction processing Time Byzantine fault tolerance Theory of computation Transmission Control Protocol Timestamp Replication Computing Data Information
272	DetH: Approximate Hierarchical Solution of Large Markov Decision Processes∗ Jennifer L. Barry, Leslie Pack Kaelbling, Tom´as Lozano-P´erez MIT Computer Science and Artificial Intelligence Laboratory Cambridge, MA 02 Add to Reading List Source URL: people.csail.mit.edu Language: English* - Date: 2012-06-11 20:17:47 Dynamic programming Markov processes Stochastic control Optimal control Markov decision process Reinforcement learning Function Macro Automated planning and scheduling Statistics Control theory Mathematics
273	DetH: Approximate Hierarchical Solution of Large Markov Decision Processes∗ Jennifer L. Barry, Leslie Pack Kaelbling, Tom´as Lozano-P´erez MIT Computer Science and Artificial Intelligence Laboratory Cambridge, MA 02 Add to Reading List Source URL: people.csail.mit.edu Language: English* - Date: 2011-09-29 15:55:17 Dynamic programming Markov processes Stochastic control Optimal control Markov decision process Reinforcement learning Function Macro Automated planning and scheduling Statistics Control theory Mathematics
274	Robust Belief-Based Execution of Manipulation Programs Kaijen Hsiao, Tom´ as Lozano-P´erez, and Leslie Pack Kaelbling Computer Science and Artificial Intelligence Laboratory, Massachusetts Institute of Technology, {kjh Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2008-12-03 20:20:17 Stochastic control Dynamical system Motion planning Robot Kinematics Normal distribution Mobile robot Statistics Dynamic programming Partially observable Markov decision process
275	Lifted Probabilistic Inference with Counting Formulas Brian Milch, Luke S. Zettlemoyer, Kristian Kersting, Michael Haimes, Leslie Pack Kaelbling MIT Computer Science and Artificial Intelligence Laboratory Cambridge, MA 0 Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2008-04-22 16:39:39 Elementary mathematics Logical syntax Formal languages Ground expression Model theory Constructible universe Function Variable Expected value Mathematics Logic Mathematical logic
276	Learning Static Object Segmentation from Motion Segmentation Michael G. Ross and Leslie Pack Kaelbling MIT Computer Science and Artificial Intelligence Laboratory [removed], [removed] Abstract Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2005-11-02 21:40:23 Artificial intelligence Graph cuts in computer vision Image processing Segmentation Vision
277	Information Leak in the Chord Lookup Protocol Charles W. O’Donnell and Vinod Vaikuntanathan MIT Computer Science and Artificial Intelligence Laboratory Cambridge, MA 02139, USA {cwo,vinodv}@mit.edu Abstract Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2010-02-04 10:27:55 Concurrent computing Chord Freenet Distributed hash table Crowds Peer-to-peer Degree of anonymity Cache Consistent hashing Distributed data storage Software Computing
278	Improving Application Security with Data Flow Assertions Alexander Yip, Xi Wang, Nickolai Zeldovich, and M. Frans Kaashoek Massachusetts Institute of Technology – Computer Science and Artificial Intelligence Laboratory Add to Reading List Source URL: pdos.csail.mit.edu Language: English - Date: 2014-09-23 03:33:32 Cross-platform software Scripting languages Relational database management systems Database management systems Software testing Vulnerability Cross-site scripting SQL injection Code injection Computing Software engineering Computer programming
279	Hierarchical Solution of Large Markov Decision Processes Jennifer Barry and Leslie Pack Kaelbling and Tom´as Lozano-P´erez MIT Computer Science and Artificial Intelligence Laboratory Cambridge, MA 02139, USA {jbarry,lp Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2010-05-17 16:00:47 Dynamic programming Markov processes Stochastic control Network theory Markov decision process Reinforcement learning Symbol Algorithm Shortest path problem Statistics Mathematics Applied mathematics
280	Computer Science and Artificial Intelligence Laboratory Technical Report MIT-CSAIL-TR[removed]August 27, 2011 Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2012-06-11 20:17:52 Kalman filter Normal distribution Partially observable Markov decision process Maximum likelihood Particle filter Statistical hypothesis testing Statistics Robot control Estimation theory

UPDATE